Automated integration of real-time and non-real-time defense systems

Safety Verification of Real Time Systems Serving Periodic Devices

In real-time systems response to a request from a controlled object must be correct and timely. Any late response to a request from such a device might lead to a catastrophy. The possibility of a task overrun, i.e., missing the deadline for completing a requested task, must be checked and removed during the design of such systems. Safe design of real-time systems running periodic tasks under th...

Automated Testing of Real-Time Systems

Real - time systems and real - time

Date: 1st October 1996 Slide: 1-1 University of Skovde Technology Transfer: Real-time systems and databases Overview Model of real-time systems Basic concepts Dependability concepts Resource allocation Scheduling Real-time database { concurrency control { recovery { weakening of the ACID properties Date: 1st October 1996 Slide: 2 University of Skovde Technology Transfer: Real-time systems and...

Automated Compositional Proofs for Real-Time Systems

We present a framework for formally proving that the composition of the behaviors of the different parts of a complex, real-time system ensures a desired global specification of the overall system. The framework is based on a simple compositional rely/guarantee circular inference rule, plus a small set of conditions concerning the integration of the different parts into a whole system. The refe...

Real-Time Output Feedback Neurolinearization

 An adaptive input-output linearization method for general nonlinear systems is developed without using states of the system. Another key feature of this structure is the fact that, it does not need model of the system. In this scheme, neurolinearizer has few weights, so it is practical in adaptive situations.  Online training of neuroline...